人员队伍 | 您所在的位置:网站首页 › 北京大学 何进 › 人员队伍 |
研究小组及主要骨干人员 1. 可信软件理论研究组 学术带头人:陆汝钤研究员/院士、胡振江教授 学术骨干:许进、王捍贫、焦文品、曹永知教授,陈一峯研究员,刘田副教授,张昕助理教授。 2. 可信软件工程研究组 学术带头人:杨芙清教授/院士,金芝、谢冰、谢涛教授 学术骨干:张路、周明辉教授,赵俊峰研究员,熊英飞、麻志毅、赵海燕、孙艳春、李戈、张伟、邹艳珍副教授。 3. 可信软件平台研究组 学术带头人:梅宏教授/院士,黄罡教授 学术骨干:陈向群、王腾蛟、高军教授,崔斌、曹东刚研究员,郝丹、刘譞哲、金鑫副教授,张颖、陈薇副研究员。 4. 信息安全研究组 学术带头人:陈钟、王平 学术骨干:郭耀教授,关志副研究员,李锭助理教授,王昭讲师。 5. 可信软件应用研究组: 学术带头人:张世琨研究员、张大庆 学术骨干:吴中海、王亚沙、刘云淮教授,赵文、黄雨研究员,刘学洋副教授,胡文蕙、孙基男副研究员,王乐业助理教授,高庆助理研究员。 研究人员列表 姓名 性别 研究领域 学历 职称杨芙清 女 软件工程、系统软件 研究生 教授、院士 陆汝钤 男 知识工程、人工智能 大学 研究员、院士 梅宏 男 软件工程、系统软件 博士 教授、院士 张大庆 男 大数据 博士 教授 杨冬青 女 数据库与信息系统 大学 教授 王捍贫 男 形式化方法与程序验证 博士 教授 邵维忠 男 软件工程 硕士 教授 孙家骕 男 软件工程 硕士 教授 陈向群 女 软件工程、操作系统 硕士 教授 谢涛 男 软件测试、安全、解析学等 博士 教授 许进 男 生物计算 博士 教授 陈钟 男 软件工程、信息安全 博士 教授 金芝 女 软件需求工程、知识工程 博士 教授 谢冰 男 软件工程 博士 教授 胡振江 男 软件工程,并行程序设计 博士 教授 谢涛 男 软件工程、系统软件、软件安全 博士 教授 张世琨 男 软件体系结构、应用集成 博士 研究员 崔斌 男 数据库与信息系统 博士 研究员 陈一峯 男 程序语言和形式化方法 博士 研究员 麻志毅 男 软件工程 博士 副教授 孙艳春 女 软件工程 博士 副教授 刘田 男 算法分析、计算复杂性 博士 副教授 熊英飞 男 系统软件 博士 副教授 赵海燕 女 软件工程 博士 副教授 刘譞哲 男 软件工程 博士 副教授 焦文品 男 软件工程 博士 教授 张路 男 软件工程 博士 教授 黄罡 男 软件工程、中间件 博士 教授 王平 男 软件工程、物联网、信息安全 博士 教授 赵俊峰 男 软件工程、软件复用 博士 研究员 陈泓婕 女 软件工程 博士 副教授 曹永知 男 形式化方法 博士 教授 周明辉 女 软件工程、中间件 博士 教授 王亚沙 男 软件工程、软件复用 博士 教授 王腾蛟 男 数据库与信息系统 博士 教授 陈立军 男 数据库与信息系统 博士 副教授 高军 男 数据库与信息系统 博士 教授 吴中海 男 软件服务,系统安全 博士 教授 赵文 男 工作流建模、RFID 博士 研究员 曹东刚 男 软件工程、中间件 博士 研究员 王昭 女 软件工程、信息安全 博士 讲师 邹艳珍 女 软件工程、软件复用 博士 副教授 刘学洋 男 软件工程、信息安全 博士 副教授 张伟 男 软件工程、软件复用 博士 副教授 李戈 男 软件工程、软件复用 博士 副教授 郭耀 男 软件工程、操作系统 博士 教授 胡文蕙 女 软件体系结构、应用集成 博士 副研究员 黄雨 男 多模态数据管理、软件工程 博士 研究员 郝丹 女 软件工程 博士 副教授 关志 男 信息安全 博士 副研究员 孙基男 男 软件工程 博士 副研究员 王乐业 男 群智感知,普适计算 博士 助理研究员 陈薇 女 数据库与信息系统 博士 副研究员 张成 男 生物计算 博士 副研究员 张颖 男 软件工程 博 副研究员 王乐业 男 群智感知,普适计算 博士 助理教授 孙基男 男 软件工程 博士 副研究员 刘云淮 男 移动计算、物联网 博士 研究员 高庆 男 软件工程 博士 助理研究员 张昕 男 程序设计语言,高可靠人工智能 博士 助理教授 李锭 男 系统安全和软件工程 博士 助理研究员 金鑫 男 软件工程 博士 副教授 徐松青 女 秘书 李连芳 女 秘书 |
今日新闻 |
推荐新闻 |
专题文章 |
CopyRight 2018-2019 实验室设备网 版权所有 |